$\forall$$A$:Type, $l$:$A$ List, $n$:$\mathbb{Z}$. $l$$\backslash$[$n$] $\in$ $A$ List